21. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده: Ramsey, Frank Plumpton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978b
22. Foundations of Rational Agency
پدیدآورنده: edited by Michael Wooldridge, Anand Rao.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Linguistics-- Philosophy.,Logic.,Mathematics.,Philosophy (General).
23. Foundations of logic, 1903-05
پدیدآورنده: Russell, Bertrand, 2781-0791
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
B
1649
.
R91
1983
vol
.
4
24. Foundations of logic and mathematic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. [from old catalog],Mathematics- Philosophy. [from old catalog]
رده :
Q121
.
I5C37
25. Foundations of logic and mathematics
پدیدآورنده: / by Rudolf Carnap
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, symbolic and mathematical,Mathematics - Philosophy
رده :
511
.
3
Ca-F
26. Foundations of logic and mathematics
پدیدآورنده: Carnap, Rudolf, 1981-0791.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
Q
121
.
I5
Vol
.
1
No
.
3
27. Foundations of mathematics
پدیدآورنده: )by( William S. Hatcher,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Mathematics - Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
H34
9
28. Foundations of mathematics
پدیدآورنده: Hatcher, William S
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
H34
29. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt
رده :
QA
9
.
F58
30. Frege :
پدیدآورنده: Michael Beaney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.
رده :
B3245
.
F24
B43
1996
31. Frege, Gottlob
پدیدآورنده:
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: ریاضیات, -- فلسفه,Mathematics - Philosophy,Number concept,Arithmetic - Foundations,Logic, Symbolic and mathematical
32. Frege and Godel; in mathematical Logic
پدیدآورنده: / edited by Jean van Hijenoort,Van Heijenoort
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical,Mathematics -- Philosophy
رده :
QA
9
.
V28
33. Frege :philosophy of mathematics
پدیدآورنده: Dummett, Michael A. E
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Frege, Gottlob,8481-5291,Philosophy ، Mathematics,، Logic, Symbolic and mathematical
34. Frege. philosophy of mathematics
پدیدآورنده: Dummett, Michael Anthony Eardley, 5291-1102
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Mathematics -- Philosophy,Foundations ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
D85F7
35. Frege's philosophy of mathematics
پدیدآورنده: edited by William Demopoulos
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Mathematics -- Philosophy,Mathematics -- Foundations,Logic, Symbolic and mathematical
رده :
QA
.
F74
8
.
6
1995
36. Frege's philosophy of mathematics
پدیدآورنده :
موضوع : ، Mathematics-- Philosophy,، Mathematics-- Foundations,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
37. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده: Van Heijenoort, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Mathematics-- Philosophy-- Addresses, essays, lectures
رده :
QA
9
.
V3
38. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده: Van Heijenoort, Jean, 2191-6891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
QA
9
.
V34
39. From Logic to Practice
پدیدآورنده: \ Gabriele Lolli, Marco Panza, Giorgio Venturi Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics -- Philosophy,Logic,ریاضیات -- فلسفه ,م‍ن‍طق
رده :
QA
8
.
7
.
F7
2015
E-Book
,
40. From a Geometrical Point Of View :
پدیدآورنده: by Jean-Pierre Marquis.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: Categories (Mathematics)-- History.,Categories (Mathematics)-- Philosophy.,Functor theory.,Algebraic logic., (مقولات (ریاضیات
رده :
QA169
.
M387
2009
